char *cc_greeting();
